Skip to content

Conversation

gottesmm
Copy link
Contributor

No description provided.

@gottesmm gottesmm requested review from ktoso and kavon as code owners December 20, 2023 23:03
@atrick
Copy link
Contributor

atrick commented Dec 20, 2023

@swift-ci smoke test

@atrick
Copy link
Contributor

atrick commented Dec 20, 2023

@rintaro I think it's safe to force merge this if you'd like

@rintaro rintaro merged commit 83d4631 into swiftlang:main Dec 20, 2023
@gottesmm gottesmm deleted the pr-76db517d7eb9f23319dc8a16c082e8c665b51a54 branch December 21, 2023 00:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants